Average-case Hardness of RIP Certification