Add feature flags to only compile verification part

[raphjaph]

This might lead to a smaller WASM binary, but have to test, who knows.