hs-test: add more asserts