Mark proofs unstable because i'm fed up

Author: xldenis

creusot/tests/should_succeed/bdd.mlcfg

@@ -1,3 +1,4 @@
+// UNSTABLE
 extern crate creusot_contracts;
 
 use creusot_contracts::{logic::Mapping, Clone, PartialEq, *};

creusot/tests/should_succeed/bdd.rs

@@ -1,3 +1,4 @@
+// UNSTABLE
 extern crate creusot_contracts;
 use creusot_contracts::{
     logic::{Int, Mapping},

creusot/tests/should_succeed/hashmap.mlcfg

@@ -1,3 +1,4 @@
+// UNSTABLE
 extern crate creusot_contracts;
 use creusot_contracts::{
     logic::{Int, Seq},

creusot/tests/should_succeed/hashmap.rs

@@ -1,4 +1,4 @@
-#![feature(type_ascription)]
+// UNSTABLE
 extern crate creusot_contracts;
 
 use creusot_contracts::{