disable rewriting rules; add a failure goal

1 job for ci/reification in 7 seconds (queued for 5 seconds)
latest