test that subtraction appropriately panics