Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions