genmc/api: Remove unnecessary comments

These comments explain the default values used internally
in (some) calls of the GenMC library, which is unnecessary.

Author: michaliskok

src/tools/miri/genmc-sys/cpp/src/MiriInterface/Exploration.cpp

@@ -461,7 +461,6 @@ void MiriGenmcShim::handle_thread_create(ThreadId thread_id, ThreadId parent_id)
     const ThreadInfo child_info =
         ThreadInfo { thread_id, parent_id, fun_id, arg, "unknown thread" };
 
-    // NOTE: Default memory ordering (`Release`) used here.
     const auto child_tid = GenMCDriver::handleThreadCreate(nullptr, pos, child_info, EventDeps());
     // Sanity check the thread id, which is the index in the `threads_action_` array.
     BUG_ON(child_tid != thread_id || child_tid <= 0 || child_tid != threads_action_.size());
@@ -472,7 +471,6 @@ void MiriGenmcShim::handle_thread_join(ThreadId thread_id, ThreadId child_id) {
     // The thread join event happens in the parent.
     const auto pos = inc_pos(thread_id);
 
-    // NOTE: Default memory ordering (`Acquire`) used here.
     const auto ret = GenMCDriver::handleThreadJoin(nullptr, pos, child_id, EventDeps());
     // If the join failed, decrease the event index again:
     if (!std::holds_alternative<SVal>(ret)) {
@@ -485,7 +483,6 @@ void MiriGenmcShim::handle_thread_join(ThreadId thread_id, ThreadId child_id) {
 
 void MiriGenmcShim::handle_thread_finish(ThreadId thread_id, uint64_t ret_val) {
     const auto pos = inc_pos(thread_id);
-    // NOTE: Default memory ordering (`Release`) used here.
     GenMCDriver::handleThreadFinish(nullptr, pos, SVal(ret_val));
 }