Add bitwise trace test.
Update readme.