Towards Automating Long-Horizon Algorithm Engineering for NP-Hard Problems