Strictly check aliased functions are indeed aliased

Pretty sure I got them all (many weren't being tested before)

As discussed earlier in #1582