Fix Various TODOs

There are other TODOs in the source, but most of these should be small.

• Update output from "type" to "func_type" TODO TODO
• Rename LoadStoreExpr (maybe MemoryAccessExpr?) TODO TODO
• Use proper location in binary-reader-interp.cc TODO
• Implement event matching in interpreter TODO
• Clean up "out of bounds" memory/table access messages TODO
• Use u16 for SerializedOpcode in interpreter TODO
• Move TypeChecker into SharedValidator TODO TODO
• Change assert_unlinkable to a single-line error TODO
• Print assert_uninstantiable and assert_exhaustion errors when assertion passes TODO TODO
• Validate command-line arguments for value-stack-size and call-stack-size TODO TODO TODO TODO
• Fix typo "initializing" TODO
• Remove ParseTextList, switch usage to ParseTextListOpt TODO TODO

Start by reading the linked TODO locations in the listed source files, especially the interpreter, validator, spectest-interp, and wast-parser code. Determine which unchecked TODOs are still applicable and whether they can be handled independently. Done means the selected TODOs are resolved and the corresponding source behavior or naming matches the issue description.