Check if SLOAD is triggered with no optimizer for some asserts

[loredanacirstea]

i.e. assert(blalance[x]== old_balance + v) might trigger an sload if we don't use the optimizer ?

If there's an issue, check places where we use this pattern