(Promela) Improved schedule search strategies, bug fixes