change inlined byzantine action and nested if-else step action#6

JMollerach wants to merge 4 commits intomaininformalsystems/mysticeti-spec:mainfrom

feature/byz-behaviorinformalsystems/mysticeti-spec:feature/byz-behaviorCopy head branch name to clipboard