Rename master server

We have a goal of avoiding the use of languages such as master, blacklist, whitelist. One of the them is the "master" server role, which can be renamed to something like "Sequencer".

The renaming part is easy. However, a lot of tooling will be affected, e.g., trace events like "MasterServerRecovery" will also be renamed. We will also need to update documentation to reflect the change.

Start by searching the repository for the master server role and the MasterServerRecovery trace event, then inventory affected tooling and documentation. Confirm the intended replacement term before editing. Done means the terminology is updated consistently across implementation, trace events, tooling, and documentation.

Written by the indexing model from the issue text.