Stricter hook definition checks

checkHookDecl just checks trampParams are hookParams+1. WDYT about also checking they are the expected type?

_Originally posted by @txabman42 in https://github.com/open-telemetry/opentelemetry-go-compile-instrumentation/pull/242#discussion_r2637727637_
            