Fixes trace reftesting; add ability to specify noPrompts