Special cases for "should never get here"

For better self documentation. Also incorporated @adamhrz 's suggestion that we allow a reason to be passed to these types of asserts for better exception reporting. 

Just an idea. Do with it what you will.
should pass `test` here