start to move over to the API that functions consume their arguments. This significantly doesn't work yet
leak checks are useful here too
better formatting, print test names, slightly more thorough testing
fix a whole host of wrong memory acquisitions
More missing releases
update testgen to new API
a particularly vicious failing test case to minimize - test for shared subtrees in a union
slightly more reasonable test program generation
a missing acquire
produce slightly less extreme randomly generated test cases which are easier to hand minimize
Merge branch 'new_ownership_model'