[WIP] Check classical action

[mpharrigan]

work in progress. Add an automated check that will test the classical action of a bloq vs that of its decomposition. Will try 2**n random inputs unless the signature is <=n bits -- then it will do exhaustive. Requires adding a new method to QDType to get random values.