Fix test to match updates to cedar-lean-ffi

Signed-off-by: Charlie Murphy <mutmoth@amazon.com>

Author: chaluli

cedar-lean-ffi/src/lean_ffi.rs

@@ -1113,12 +1113,12 @@ mod test {
         let ffi = CedarLeanFfi::new();
 
         let res = ffi
-            .check_evaluate(&input_expr, &entities, &req, &eval_expr)
+            .check_evaluate(&input_expr, &entities, &req, Some(&eval_expr))
             .expect("Lean call unexpectedly failed for check_evaluate");
         assert!(res, "check_evaluate returned wrong result: Expected true");
 
         let res = ffi
-            .check_evaluate(&input_expr, &entities, &req, &wrong_expr)
+            .check_evaluate(&input_expr, &entities, &req, Some(&wrong_expr))
             .expect("Lean call unexpectedly failed for check_evaluate");
         assert!(!res, "check_evaluate returned wrong result: Expected false");
     }