For background stopping, added error checks of the user input

[dpgrote]

This adds checks ensuring that the user input is sensible and doesn't violate the assumptions of the model.

Note that some of the checks (of user expressions) are done inside of the kernels and will only be active when compiled with debugging turned on.

Follow-up to #2884