Upgrade to latest checker framework