Implementing NotNull in the way we discussed is far from trivial--as our experience with the equivalent of it in Code Contracts showed. If we end up getting this implemented then it will be easy to go through and remote the Check calls. I suspect that other work will be higher priority than this for quite some time, so we're going with something that is easy and works well until something else is available.