Anyone know of tools for taking the description of the parser.output
automaton (from yacc -v) containing shift/reduce conflicts and
generating a concrete example of a string of tokens that "exercises"
the ambiguity?

One can often do this by hand, but for complex grammars with lots of
precedence rules it gets difficult.