Athanor: Local Search over Abstract Constraint Specifications