Add comment as a reminder to future me

crates/aiken-project/src/test_framework.rs

@@ -70,6 +70,7 @@ impl Test {
                     .map(|cst| (cst, side.tipo()))
                 };
 
+                // Assertion at this point is evaluated so it's not just a normal assertion
                 Some(Assertion {
                     bin_op,
                     head: as_constant(generator, head.expect("cannot be Err at this point")),