wazevo(frontend): stricter BCE part2 #4035

Job	Run time
Build TinyGo test binary	4s
Build Zig test binary	5s
wasi-testsuite (ubuntu-22.04)	20s
wasi-testsuite (macos-12)	41s
wasi-testsuite (windows-2022)	1m 37s
libsodium (Ubuntu, amd64, optimizing)	6m 22s
Go-1.21 (Ubuntu, amd64, baseline)	6m 45s
libsodium (macOS, arm64, optimizing)	5m 48s
Go-1.22 (Ubuntu, amd64, baseline)	6m 38s
Go-1.21 (macOS, amd64, baseline)	8m 6s
Go-1.22 (macOS, amd64, baseline)	7m 16s
Go-1.21 (Windows, amd64, baseline)	7m 20s
Go-1.22 (Windows, amd64, baseline)	7m 23s
Go-1.21 (macOS, arm64, optimizing)	7m 57s
Go-1.22 (macOS, arm64, optimizing)	9m 26s
Go-1.21 (Ubuntu, amd64, optimizing)	10m 0s
Go-1.22 (Ubuntu, amd64, optimizing)	10m 36s
Zig (Ubuntu, amd64, baseline)	3m 58s
Zig (macOS, amd64, baseline)	4m 34s
Zig (Windows, amd64, baseline)	7m 10s
Zig (macOS, arm64, optimizing)	1m 36s
Zig (Ubuntu, amd64, optimizing)	1m 49s
TinyGo (Ubuntu, amd64, baseline)	2m 0s
TinyGo (macOS, amd64, baseline)	2m 26s
TinyGo (Windows, amd64, baseline)	3m 14s
TinyGo (macOS, arm64, optimizing)	2m 59s
TinyGo (Ubuntu, amd64, optimizing)	2m 40s
	2h 8m 50s

Provide feedback