prove some more sanity tests, and comment out broken stuff

I had to change the statement of t16: may want to check it's as
intended.