autotest: tweaks to Rascal tuning