For signed overflow you can just turn on the sanitizer in trapping mode. Exhaustive checks is also not that terrible.