rvm: add debug-mode invariant assertions #222

Job	Run time
Analyze (csharp)	5m 8s
Analyze (javascript-typescript)	4m 35s
Analyze (c-cpp)	13m 4s
Analyze (java-kotlin)	3m 37s
Analyze (go)	5m 11s
Analyze (python)	1m 26s
Analyze (rust)	7m 22s
	40m 23s

Provide feedback