test__execmodules.py: ignore corecffi
greentest.py: temporarily exclude corecffi from checks