(Binary Analysis) Fixed BinaryLoader bug

The calculation to rebase an entire file while remapping was
slightly wrong and could cause alignment constraints to become
unsatisfiable.
(Binary Analysis) Fixed bug in BinaryLoader

Replaced code that tried to insert a symbol at the beginning of an
empty vector.