First version of executable coverage check with raytracing. Needs to be tested.