I'd recommend looking into Certik again. They've failed to scale with the success of their marketing. Hacks and exploits of Certik audited contracts are increasing at a linear scale, especially over the last 18 months. This is likely because they outsource to 3rd Party Contractors for the majority of their audits.

I no longer trust Certik audits at face value.

SolidProof and Obsidian Council should join Hacken in the Top 3 of this list.