fix(gnovm): annotate specific reason a value does not implement an interface

[Villaquiranm]

Related to #1684 .
This is a first draft that will increment the amount of information Gno returns in the case of an struct not implementing a defined interface.

First Case

A non defined function on interface

package main

type Car interface{
	Run(speed int)
}

type Toyota struct {}
func main(){
	var car Car = &Toyota{}
}

Before we had something like:
panic: *main.Toyota does not implement main.Car [recovered]
now:
panic: *main.Toyota does not implement main.Car (missing method Run) [recovered]

Second Case

A defined function with bad type on function signature

package main

type Car interface{
	Run(speed int)
}

type Toyota struct {}

func (toyota *Toyota) Run(quick bool){
}

func main(){
	var car Car = &Toyota{}
}

Before we had something like:
panic: *main.Toyota does not implement main.Car [recovered]
now:
panic: *main.Toyota does not implement main.Car (wrong type for method Run) [recovered]

Third Case

A defined function with a pointer receiver but not pointer variable

package main

type Car interface {
	Run()
}

type Toyota struct {
}

func (t *Toyota) Run() {

}

func main() {
	var car Car = Toyota{}
}

Before we had something like:
panic: *main.Toyota does not implement main.Car [recovered]
now:
panic: main.Toyota does not implement main.Car (method Run has pointer receiver):

Contributors' checklist...

• Added new tests, or not needed, or not feasible
• Provided an example (e.g. screenshot) to aid review or the PR is self-explanatory
• Updated the official documentation or not needed
• No breaking changes were made, or a BREAKING CHANGE: xxx message was included in the description
• Added references to related issues and PRs
• Provided any useful hints for running manual tests
• Added new benchmarks to generated graphs, if any. More info here.

[codecov]

Codecov Report

Attention: Patch coverage is 84.21053% with 3 lines in your changes missing coverage. Please review.

Project coverage is 55.03%. Comparing base (0a662c4) to head (bb3bc87).

Files	Patch %	Lines
gnovm/pkg/gnolang/types.go	70.00%	2 Missing and 1 partial ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #2492      +/-   ##
==========================================
+ Coverage   55.01%   55.03%   +0.01%     
==========================================
  Files         595      595              
  Lines       79662    79665       +3     
==========================================
+ Hits        43828    43842      +14     
+ Misses      32518    32509       -9     
+ Partials     3316     3314       -2     

Flag	Coverage Δ
contribs/gnodev	26.00% <ø> (+0.34%)	⬆️
contribs/gnofaucet	14.46% <ø> (ø)
contribs/gnokeykc	0.00% <ø> (ø)
contribs/gnomd	0.00% <ø> (ø)
gno.land	64.24% <ø> (ø)
gnovm	60.33% <84.21%> (+0.02%)	⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[thehowl]

Looks good, a bit of reorganization needed