Add spctl check to release instructions