[wookey] Fix bug in wookey that prevented proof

Was actually fixed upstream in commit [30a695e821ca30819](https://github.com/wookey-project/bootloader/commit/30a695e821ca308197d8039bd0975a165b03bb5e)

case_studies/wookey/loader/src/main.c

@@ -685,7 +685,7 @@ static loader_request_t loader_exec_automaton_transition(const loader_request_t
 {
     loader_state_t state = loader_get_state();
     loader_request_t nextreq = LOADER_REQ_ERROR;
-    if (! loader_is_valid_transition(state, req)) {
+    if (! (loader_is_valid_transition(state, req) == sectrue)) {
         loader_set_state(LOADER_ERROR);
         goto end_transition;
     }