added better script, can now optionally validate using a mcf file, instead of only a string as argument to mcrl22bool