rvm: add debug-mode invariant assertions #227

Job	Run time
Analyze (c-cpp)	12m 41s
Analyze (csharp)	5m 7s
Analyze (java-kotlin)	3m 43s
Analyze (python)	1m 27s
Analyze (go)	4m 52s
Analyze (javascript-typescript)	4m 23s
Analyze (rust)	7m 29s
	39m 42s

Provide feedback