[storage/qmdb/current] better fuzz testing for current-qmdb proof verification

Current-type qmdb variants have proof inputs that extend the any-type variants which could use further testing.

Specifically, verification should be shown to withstand edge-case crashes, and to return false whenever any valid input data is modified.