ndesmic wasm, larger tests, formatters, fix f32 bugs etc