bancheck: Add tests for aliasing

[kele]

We currently know that if fmt.Printf is banned, one cannot directly call fmt.Printf(). But does the following snippet bypass the check?

x := fmt.Printf
x("hey")