rvm: add debug-mode invariant assertions #223

Job	Run time
Analyze (python)	1m 16s
Analyze (java-kotlin)	3m 33s
Analyze (c-cpp)	13m 19s
Analyze (go)	4m 52s
Analyze (csharp)	5m 19s
Analyze (javascript-typescript)	4m 32s
Analyze (rust)	7m 15s
	40m 6s

Provide feedback