add `annotation` to annotation bitset
better error message
test the bitset encoding