Hierarchical Model Validation of Symbolic Performance Models of Scientific Kernels