Massively improve executable checks and testing