Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis