fix validation of account postcondition; balance1 test now needs fixing