Documentation code blocks should be type checked as real tests

[wyattscarpenter]

Feature

Ideally, if anyone has the time, documentation code blocks should be type checked as real tests

Pitch

This will ensure that the examples stay up to date and valid; provide an obvious home for basic test coverage where it can also inform the user; and, as an added bonus, necessarily implies fixing the issue about how the documentation test examples don't use real errors.