In the talk you mention that you do IL-weaving to inject the right code for the contracts. Is this IL reader/writer something that can be used separately from Contracts? I've been using Cecil (http://www.mono-project.com/cecil)
for some R&D stuff and it would be awesome if there was something like this somewhere from Microsoft .