Reliable reasoning checks before merging

Pull requests can adjust supported diagram display settings while the reasoning remains checked against the tree. Merging into main requires a successful reasoning check and an up-to-date branch, including for administrators.