[WebAssembly] Implement prolog/epilog insertion and FrameIndex elimination