Support remaining assert methods

After https://github.com/runtimeverification/kontrol/pull/558, here is a list with the remaining assertions that should be implemented:

1. dynamic types string bytes uint256[] int256[] bool[] bytes32[] address[] for assertEq and assertNotEq.
2. assertApproxEqAbs and assertApproxEqRel: take an additional maxDelta argument.
3. assert*Decimals : take an additional decimals value used to format the values in error messages.

Related links:

• Vm.sol
• assert.rs
• Formal specification of encoding

Progress

• assertApproxEqAbs - https://github.com/runtimeverification/kontrol/pull/584
• assertApproxEqRel - https://github.com/runtimeverification/kontrol/pull/593
• assert*Decimals - To skip for the time being as they are basically the same as the 2 above, just that the log error displayed will be in decimals
• assertEq for dynamic types:
  • string
  • bytes
  • uint256[], int256[], bool[], bytes32[] and address[] - https://github.com/runtimeverification/kontrol/pull/605
• assertNotEq for dynamic types:
  • string
  • bytes
  • uint256[], int256[], bool[], bytes32[] and address[]

Above tasks are completed modulo the following two issues:

• https://github.com/runtimeverification/kontrol/issues/556
• https://github.com/runtimeverification/kontrol/issues/559