Update dependency: deps/k_release (#2212)

* deps/k_release: v5.0.0-2b4c1e8

* deps/k_release: v5.0.0-a6ebbac

* deps/k_release: v5.0.0-2cbe065

* test/itp-nth-ancestor/nth2-spec.k: missing simplification attribute

* test/itp-nth-ancestor: use claim keyword

* deps/k_release: v5.0.0-23f5bf1

Co-authored-by: Thomas Tuegel <thomas.tuegel@runtimeverification.com>

Author: rv-jenkins

deps/k_release

@@ -1 +1 @@
-v5.0.0-2cbe065
+v5.0.0-23f5bf1