8.0.0
Add verbosity_assertions and config.get_verbosity
Add syntactic highlights to the error explanations (#11661)