Antithesis instrumentation improvements (#5213)

* Rename ASSERT to XRPL_ASSERT
* Upgrade to Anthithesis SDK 0.4.4, and use new 0.4.4 features
  * automatic cast to bool, like assert
* Add instrumentation workflow to verify build with instrumentation enabled

include/xrpl/basics/scope.h

@@ -235,7 +235,7 @@ public:
     explicit scope_unlock(std::unique_lock<Mutex>& lock) noexcept(true)
         : plock(&lock)
     {
-        ASSERT(
+        XRPL_ASSERT(
             plock->owns_lock(),
             "ripple::scope_unlock::scope_unlock : mutex must be locked");
         plock->unlock();