Local convexity of the TAP free energy and AMP convergence for Z2-synchronization