There are a bunch of errors (from sanity and dimension checks) that don't have a unit test. They probably should.