Automatically blacklist common cases from lean compilation
Update testing script