Release 0.5.1 with critical bugfixes

Release 0.5.1 contains fixes for some critical bugs, especially for bugs that resulted in saving old snapshots instead of the current circuit, and wrong simulation signals when using bi-directional splitting.