Perform Model Checks

Perform various model checks in the Verification Browser.