Menu test generation is working!!!!

I also fixed the nonrandom bugs