(Binary Analysis) Added more debugging for BinaryLoader
(Binary Analysis) Implemented a TODO in BinaryLoader

The BinaryLoader is now able to correctly link symbols where the
reference is a versioned symbol but the definition is not versioned.
(Binary Analysis) Fixed a test filter bug