Messages (range_check) now respect 'verbose' flag.