don't check impl of `assume`s
forgot to add the test...
update hscolour
adding some totality tests
Merge pull request #198 from ucsd-progsys/unchecked-assume

Unchecked assumes
fix for #197
merge