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

Unchecked assumes