PHP version compatability

Area all Catch Themes PHP7.0 compatible? What about Everest Pro specifically? I looked on the website FAQ's and there was no mention - perhaps something in the FAQ's there would be really helpful for others in future :)