Update milestones, fix zulip badge (#409)

Co-authored-by: Andrea Peruffo <andrea.peruffo1982@gmail.com>

README.md

@@ -6,7 +6,7 @@
 
 [![WASI Test Results](https://gist.githubusercontent.com/andreaTP/69354d1cc6cf23e4c3c4a9a8daf7ea15/raw/badge-wasi.svg)](https://gist.githubusercontent.com/andreaTP/69354d1cc6cf23e4c3c4a9a8daf7ea15/raw/badge-wasi.svg)
 
-[![Zulip](https://img.shields.io/badge/zulip-join_chat-brightgreen.svg)](https://chicory.zulipchat.com)
+[![Zulip](https://img.shields.io/badge/zulip-join_chat-brightgreen.svg)](https://chicory.zulipchat.com/join/g4gqsxoys6orfxlrk6hn4cyp/)
 
 <img align="right" width="200" src="chicory1.png">
 
@@ -348,29 +348,28 @@ If you have an interest in working on any of these please reach out in Zulip!
 
 #### Make the interpreter production ready (Summer 2024)
 
-* [ ] Make all tests green with the interpreter (important for correctness)
-  * Almost complete
+* [x] Make all tests green with the interpreter (important for correctness)
 * [ ] Implement validation logic (important for safety)
-  * Started by [@andreaTP](https://github.com/andreatp)
+  * Nearing completion
 * [ ] Draft of the v1.0 API (important for stability and dx)
 
 #### Make it fast (EOY 2024)
 
 The primary goal here is to create an AOT compiler that generates JVM bytecode
 as interpreting bytecode can only be so fast.
 
-* [ ] Decouple interpreter and create separate compiler and interpreter "engines"
-  * Started by @danielperano
-* [ ] Proof of concept AOT compiler (run some subset of modules)
+* [x] Decouple interpreter and create separate compiler and interpreter "engines"
+* [x] Proof of concept AOT compiler (run some subset of modules)
 * [ ] AOT engine passes all the same specs as interpreter (stretch goal)
+  * In Progress
 * [ ] Off-heap linear memory (stretch goal)
 
 #### Make it compatible (EOY 2024)
 
 * [ ] WASIp1 Support (including test gen)
   * We have [partial support for wasip1](wasi/) and [test generation](wasi-test-gen-plugin/)
 * [ ] SIMD Support
-  * Started by [@zedbeit](https://github.com/zedbeit)
+  * Started
 * [ ] GC Support
 * [ ] Threads Support
 * [ ] Component Model Support