v0.2.0

• Bumped critical-section to 1.2.0, since the previous version was yanked #1
• Fixed soundness issue caught by new version of miri #1