refactor: use raise_notrace in AcyclicGraph
refactor: use raise_notrace in AcyclicGraph

AbortBackward, CycleDetected, Found, and Found_explanation are always
caught

Signed-off-by: Rudi Grinberg <me@rgrinberg.com>

ps-id: 015AA2C8-B214-4485-B01A-C33DC64119D1

SkySkimmer/coq,ejgallego/coq,coq/coq,coq/coq,SkySkimmer/coq,ejgallego/coq,coq/coq,Zimmi48/coq,SkySkimmer/coq,ejgallego/coq,ejgallego/coq,SkySkimmer/coq,Zimmi48/coq,Zimmi48/coq,Zimmi48/coq,coq/coq