very cool project!
Out of curiosity, what is the overhead of a program with-contracts vs one without them? It kind of looks like a JIT should be able to optimize away most of the guards.
Also, I believe other DBC platforms had options to disable run time enforcing of contracts, is this possible somehow with CFCS ?