Improve assert docs on design-by-contract page too.