finished VerifiedPackable instance for pBits