WIP: Check for reversibility and controllability of circuits#77

croyzor wants to merge 5 commits intomainQuantinuum/brat:mainfrom

controlQuantinuum/brat:controlCopy head branch name to clipboard