Use template metaprogramming to validate autodiff methods at compile time

[betanalpha]

In the continuing effort to move all static checks to the compiler.