[Prover] Fix an issue in the concretization in the mono analysis

Prover concretizes a type parameter `T` into `Primitive(Range)`  which eventually causes the panic.

So, this commit excludes the spec only primitive types during the mono analysis.

Resolves move-language#700

language/move-prover/bytecode/src/mono_analysis.rs

@@ -508,6 +508,10 @@ impl<'a> Analyzer<'a> {
     }
 
     fn add_type(&mut self, ty: &Type) {
+        // Exclude the spec only primitive types.
+        if ty.is_spec() {
+            return;
+        }
         if !self.done_types.insert(ty.to_owned()) {
             return;
         }