Add some out-of-thin-air tests.
Merge branch 'master' of github.com:herd/herdtools
Merge branch 'master' of github.com:herd/herdtools