Adding `Exceptions` utility to enable code contracts that fail fast

Provides `Exceptions` utility to enable fail fast behavior with minimal boilerplate code.

Closes #6289