Validator: Validate intrinsics

[kripken]

call.without.effects has a specific form, where the last parameter is a function reference, and that function reference must have the right type for the other parameters if called with them:

(call $call.without.effects
  (..i32..)
  (..f64..)
  (..function reference, which takes params i32 and f64..)
)