Fix correctness bugs and bump to v0.4.1#34

gvonness-apolitical merged 2 commits intomainEntrolution/echidna:mainfrom

fix/v0.4.1-correctness-fixesEntrolution/echidna:fix/v0.4.1-correctness-fixesCopy head branch name to clipboard