Add generation of random BDDs and CDDs to test framework

[magoorden]

Currently, the test framework contains a method to generate random (valid) DBMs. Something similar would be useful for generating random BDDs and, when combining both methods, generating random CDDs.