Add a mechanism to restrict the scope of the verification

[Tristan Ravitch]

For larger programs, we need the ability to let a user specify that they don't want results for part of the program, and cause the verifier to ignore those parts.