Add dry option to check.sh, fix shadowing warnings on binary32 functions

With new option --dry, check.sh compiles the test files but does not execute them. This is intended for quick scripted debugging of compile-time errors/warnings. -Wshadowing is added as a default warning. The binary32 functions are patched to not trigger shadowing warnings.