Add Tabakov-Vardi random automata generator (#69) #193

Job	Run time
Tests and Analysis (JDK: 11)	7m 46s
Tests and Analysis (JDK: 17)	7m 17s
Tests and Analysis (JDK: 21)	7m 30s
Platform Integration (JDK: 11, OS: ubuntu-latest)	1m 21s
Platform Integration (JDK: 11, OS: windows-latest)	2m 15s
Platform Integration (JDK: 11, OS: macOS-latest)	2m 18s
Platform Integration (JDK: 17, OS: ubuntu-latest)	1m 16s
Platform Integration (JDK: 17, OS: windows-latest)	2m 15s
Platform Integration (JDK: 17, OS: macOS-latest)	3m 33s
Platform Integration (JDK: 21, OS: ubuntu-latest)	1m 23s
Platform Integration (JDK: 21, OS: windows-latest)	2m 3s
Platform Integration (JDK: 21, OS: macOS-latest)	2m 16s
Coverage	3m 14s
Deploy	2m 15s
	46m 42s

Provide feedback