Create tests of the compilation pipeline and arithmetization

[morganthomas]

Compile Plutus scripts into TinyRAM object code using the compilation pipeline. Run them on the TinyRAM circuit and verify that the results are as expected.

[morganthomas]

This is an open-ended issue which is not sizable because there is no real limit to the effort we can usefully put into testing different cases here. That said, we can size the effort of doing property testing using UPLC2C term generation. That effort is sized at two days (not including prerequisite Nix efforts).

[marcinbugaj]

@morganthomas, We can not only launch the tests with TinyRAM circuit but also with TinyRAM emulator. Currently all property tests are launched on x86 only. See: #28