Corelib Verification

Verification of Cairo's Corelib using Aegis.

Currently based on version 2.11.4 of Corelib, compiled using --inlining_strategy avoid.