refined/shortened the pBits VerifiedPackable instance