Add Explicit Balance Violation Test

[bhgomes]

The reason we need to do bounds checking on asset balances is to prevent overflowing balances to increase the total balance of the UTXO Set. The explicit test would be something like:

$a + b \mapsto a + b + p \mapsto (a + b + k) + (p - k)$

Such re-balance should be impossible for all $k \ne 0$.

[bhgomes]

This test cannot be really implemented until we can separate the proof generation phase into separate circuit compilation and witness assignment phases.