Adding exec_check and updating documentation for how it works.