New Magillem Sequence Editor Simplifies Creation and Verification of Register Sequences