According to the Scrum Guide1, the Developers are self-organizing and decide how to turn Product Backlog items into an Increment of value. No one tells them how to do their work. The Developers are accountable for creating a plan for the Sprint, the Sprint Backlog. The Scrum Master is accountable for establishing Scrum as defined in the Scrum Guide. They do this by helping everyone understand Scrum theory and practice, both within the Scrum Team and the organization. Therefore, when the Scrum Team gets caught in an internal disagreement about which development techniques to apply, two techniques that the Scrum Master could use are:
Involve the complete Development Team, as they are responsible for managing and refining their own work.
Use coaching techniques, such as open questions and active listening, to help the Development Team resolve their conflict and reach a consensus.
The other options are not appropriate, as they may undermine the self-organization and empowerment of the Developers.