Fix the bug with "true"

This was an error introduced in the translation.
Enable failing tests for intsinh12()

The previous commit fixed a bug that was causing these tests to fail. Now they
pass, so we enabled them. For the last test, we had to restrict the range of
the random numbers in order to avoid numerical issues, just like for
intcosh12().