SpiceDB is HA out of the box, so long as you use an HA backing datastore like CRDB or Spanner