Make state verification failures more descriptive
Don't include backtrace in failure log output
Make exception a required argument to failure!