ContextValidator

Adds support for detecting unitary operators.