Sounds a bit like "design by contract", leaving the assertions enabled in production code. It would be great to have solid DbC support in mainstream languages.

Checkout Worker if you want something like DO for X. It's very fast and very configurable!

http://www.boomerangsworld.de/cms/worker/