Add a verification hook to StrictDecode

[dr-orlovsky]

A common situation is when we want to derive a strict decode in a normal way, but would like to provide a hook to check that the read data are integral