CI: compile-boot-contracts should check for the validity of the Wasm output

[Acaccia]

The current compile-boot-contracts task only checks that the compilation of the boot contracts works when using our binary. However, our binary does not check for the validity of the outputted Wasm binary for now.

It should use something like wasm-validate to make sure that we produce valid binaries.