Add :trace option.

Closes #702.