what was the previous SpiceDB version?