integer: Basic UQSUB8 test

Ditto on `SoftAssert`.