Added tests that verify that the correct stubs are being generated for x86 binaries