Revert "Remove bad debug info test."

This reverts commit r201183.
The test, albeit undocumented and badly written is still testing something
useful. It will be updated in a subsequent commit.
Document and improve the debug-property-synth.m test based on the
information provided in the referenced radar.