This commit ensures that parts of the model that must point to code (specifically `Binary::EntryPoint`, `Binary::ExtraCodeAddresses` and `Function::Entry`) actually point to a segment mapped as +x.