> functions that are not async are fast and unlikely to fail, while functions that are async are potentially slow and likely to throw exceptions.

That would seem like using the wrong tool for the job. If you want to colour functions according to reliability and speed you should use a different mechanism to colour them than a mechanism designed to colour functions based on how they behave if IO blocks.