Add ocamlopt flags and promote tests

Author: filipeom

docs/index.mld

@@ -125,7 +125,7 @@ val model : Model.t = (model
 # let x_val =
   let x = Symbol.make (Ty_bitv 8) "x" in
   Model.evaluate model x;;
-val x_val : Value.t option = Some (Smtml.Value.Bitv <abstr>)
+val x_val : Value.t option = Some (Value.Bitv <abstr>)
 ]}
 
 {1:advanced Advanced Features}

dune

@@ -6,3 +6,8 @@
    (not %{lib-available:bitwuzla-cxx})
    (not %{lib-available:colibri2.core})
    (not %{lib-available:cvc5}))))
+
+(env
+ (release
+  (ocamlopt_flags
+   (:standard -O3 -noassert))))