Add "verbose" option to simulator