chore: migrate miden sdk to new org, and 0.13.0#101

WiktorStarczewski merged 20 commits intomain0xMiden/wallet:mainfrom

wiktor-v130xMiden/wallet:wiktor-v13Copy head branch name to clipboard