What do you think of How To: Sign Data Using Multisig ?
I am curious: which limitation prevents you to have arguments larger than 64 bytes?
Regarding your proposal, it may be difficult for ed25519verify_msig to know how many elements to read from the stack.