What about assertions? They work well as comments, but they're actually tested, and you know immediately if they go out of date. You can decide one way or the

What about assertions? They work well as comments, but they're actually tested, and you know immediately if they go out of date. You can decide one way or the other whether to compile them as no-ops in releases, but it seems like a big improvement either way.