Write contract registry contract and program registry contract

[freesig]

These should encode the mutations as params then just output them as mutations.

• Modify the big bang block code to generate predicate data instead of mutations. Should be encoded as mutations