It appears that the answer is no.
Given that you can only "prove" an application correct using the more expensive SKU, Code Contracts sort of acts like fancy assertions, which you can simulate withe the Should Library:
https://github.com/erichexter/Should
Or upgrade to a newer version of VS.