I found this article very interesting with regards direct WASM interpretation: https://arxiv.org/abs/2205.01183

I produced https://github.com/peterseymour/winter on the back of it and learnt WASM is not as simple as it should be.