Include proper taxon constrait checking in general CI

[matentzn]

For debugging purposes, I am running:

sh run.sh make reports/taxon-constraint-check.txt MIR=false IMP=false PAT=false BRI=true -B
robot explain -i tmp/uberon-edit-plus-tax-equivs.owl --reasoner ELK -M unsatisfiability --unsatisfiable random:10 --explanation unsat.md

Then pasting unsat.md in GitHub

Originally posted by @matentzn in #2367 (comment)

[matentzn]

Reinstate xref: ZFA:0005829 to test this.

[anitacaron]

Is this related to #2613?

[matentzn]

Maybe, and perhaps fixed by #2388 but it does not seem to work atm, i.e. I cannot get it to fail

[github-actions]

This issue has not seen any activity in the past 6 months; it will be closed automatically one year from now if no action is taken.

[anitacaron]

This might be fixed by PR #2928.