ply-test-core should use something like quickcheck-plutus-instances to test all the PlyArg laws.

What are the laws, you ask? I need to add them in #9 :)