Solc semantic tests for which we currently are not able to check equivalence (for two different codegen paths)

[blishko]

• smoke/arrays.sol
• smoke/fallback.sol - The problem documented in bytes public data getter loops forever for equivalence checking #697
• conversions/function_type_array_to_storage.sol - hevm crashes with Internal Error: counterexample contains buffers that are too large to be represented as a ByteString
• errors/using_structs.sol
• events/event_indexed_string.sol
• fallback/call_forward_bytes.sol
• freeFunctions/recursion.sol
• getters/struct_with_bytes_simple.sol
• immutable/use_scratch.sol - hevm: Internal Error: cannot analyze symbolic code
• inlineAssembly/inline_assembly_for.sol
• inlineAssembly/inline_assembly_recursion.sol