More detailed error messages from kernels

Many kernels validate their inputs in some way. If a required condition is not satisfied, kernels typically throw an exception indicating this fact. However, to make the error messages actionable, they should contain more details.

For instance, if the number of rows of two inputs must match, it is not maximally helpful to only know that they did not match, it would more helpful to know what the different numbers of rows were.

We should double-check all exceptions thrown in kernels to make sure that they contain sufficient information.

Start by inventorying the exceptions thrown by kernels during input validation and compare each message with the condition that failed. Done means relevant kernel errors include actionable details, such as the differing row counts for mismatched inputs, rather than only stating that validation failed.