Verifiable Builds Could Have Prevented the ByBit Hack