Deterministic Fully-Static Whole-Binary Translation without Heuristics