initial boring tests for process contract

* this is here just to give an early failure point if things are very busted
* will need to add more tests once we figure out a clean way to verify forks