Deterministic Fully-Static Whole-Binary Translation Without Heuristics