add BigUint subtraction underflow error message

The previous error message using assert_eq! was quite cryptic. This should be more clear. I also added a test for the underflow case.