pub fn validate_corelib(db: &(dyn Database + 'static)) -> Result<()>
Validates that the corelib version matches the expected one.