Refactored check_tabling_options and fixed several inconsistencies in it.
Authored by: tswift 2018-07-06
Parent: [r9399]
Child: [r9401]