The Jepsen smoke test currently runs on the AUBsan builder but has been consistently purple due to timing issues even though the real Jepsen tasks has been green. We should move it to a separate builder to avoid stability issues.