Average-case hardness of RIP certification