Add property-set documentation to transpiler passes

[jakelishman]

Transpiler passes should document which elements of the PropertySet they both read and write, with what types, and for what purpose. For example, see the linked code in #10721 (comment):

qiskit/qiskit/transpiler/passes/layout/sabre_layout.py

Lines 86 to 100 in ebd74ad

	Property Set Fields Read
	------------------------
	``sabre_starting_layout`` (``list[Layout]``)
	An optional list of :class:`~.Layout` objects to use for additional layout trials. This is
	in addition to the full random trials specified with the ``layout_trials`` argument.
	Property Set Values Written
	---------------------------
	``layout`` (:class:`.Layout`)
	The chosen initial mapping of virtual to physical qubits, including the ancilla allocation.
	``final_layout`` (:class:`.Layout`)
	A permutation of how swaps have been applied to the input qubits at the end of the circuit.