add pushbutton same-net TSX repro and schematic snapshot

[mohan-bee]

Motivation

• reproduce a pushbutton whose two schematic contacts connect to the same net.

Before

• the failure was captured only in Circuit JSON.

After

• a TSX reproduction and schematic snapshot show the SW1 connection loop and the actual zero DRC errors.