Add JaCoCo code coverage reporting
Improve binary math test coverage

Also, remove some impossible branches