Added assert for checking correct states
Added assert for checking correct states

TrueBitFoundation/webasm-solidity,TrueBitFoundation/webasm-solidity,TrueBitFoundation/webasm-solidity,TrueBitFoundation/webasm-solidity