Allows code contracts to run without an SQL server running locally.
Fixes contract related bugs.