Sync devtools
List veritas as mutant user
Use releases of anima and concord
Fix runner infastructure
Add some runner predicate tests