Small fixes.
Ignore .pyo files
change start state of klee-minty, small change to uar uso