Property-based tests with `tasty-quickcheck`

[ajuggler]

Create a property-based tests module (with tasty-quickcheck) with generators for some parameters of OnRampDatum, Value, ScriptContext, as well as some global invariants (e.g. findOwnInput must exist, reject unexpected datum/output shapes).