Update tests

Author: fmoletta

vm/src/types/instance_definitions/builtins_instance_def.rs

@@ -249,7 +249,7 @@ mod tests {
         assert!(builtins.bitwise.is_some());
         assert!(builtins.ec_op.is_none());
         assert!(builtins.keccak.is_none());
-        assert!(builtins.poseidon.is_none());
+        assert!(builtins.poseidon.is_some());
     }
 
     #[test]

vm/src/types/layout.rs

@@ -287,7 +287,7 @@ mod tests {
             layout.diluted_pool_instance_def,
             Some(DilutedPoolInstanceDef::default())
         );
-        assert_eq!(layout._n_trace_colums, 13);
+        assert_eq!(layout._n_trace_colums, 12);
         assert_eq!(layout._cpu_instance_def, CpuInstanceDef::default());
     }