v0.9.0: funes update + storage optimization

What's Changed

• chore: bump version to 0.8.0+dev by @dacorvo in #43
• Add a push store gate by @dacorvo in #44
• Add some documentation by @dacorvo in #45
• Storage optimization by @dacorvo in #46
• Add funes update by @dacorvo in #47

Full Changelog: v0.8.0...v0.9.0