Floating binop signature mismatch is an OCaml bug. Added a note on it.
Added unsafe shufflevector instruction (type constraint is not
strict enough).