Fix a conditional and add some asserts to check if we've got UB.

Fix a conditional and add some asserts to check if we've got UB. #190