Add some short delays between input and output phases or processing so that messages can be udated, and the browser can respond to the user (in case multiple typeset calls are queued simultaneously).  Resolves issue #872.