Re-enable tests removed to fix slow CI. (cd7a0b3) Major Contract refactor for overrides. (#819, #845, #847, #860; 42dee67) Remove legacy Circle CI tasks. (c445232) Fixing GitHub actions. (#853; 6b8f0f3)