Add missing release notes

docs/dev/news/2734.feat

@@ -0,0 +1 @@
+Go to definition now works reliably across all Dafny language constructs and across files.

docs/dev/news/3061.feat

@@ -0,0 +1 @@
+Introduce the experimental `measure-complexity` command, whose output can be fed to the Dafny report generator. In a future update, we expect to merge the functionality of the report generator into this command.

docs/dev/news/3184.feat

@@ -0,0 +1 @@
+Add the `--solver-path` option to allow customizing the SMT solver used when using the new Dafny CLI user interface.

docs/dev/news/3185.feat

@@ -0,0 +1,3 @@
+Add the experimental `--test-assumptions` option to all execution commands: run, build, translate and test.
+When turned on, inserts runtime tests at locations where (implicit) assumptions occur, such as when calling or being called by external code and when using assume statements.
+Functionality is still being expanded. Currently only checks contracts on every call to a function or method marked with the {:extern} attribute.

docs/dev/news/3239.feat

@@ -0,0 +1 @@
+For the command `translate`, renamed the option `--target` into `language` and turned it into a mandatory argument.

docs/dev/news/3252.fix

@@ -0,0 +1 @@
+The :options attribute now accepts new style options `--function-syntax` and `--quantifier-syntax`

docs/dev/news/3274.fix

@@ -0,0 +1 @@
+Improved error messages for `dafny translate`

docs/dev/news/3275.fix

@@ -0,0 +1 @@
+The :test attribute is now compatible with `dafny run` and `dafny build`

docs/dev/news/3276.fix

@@ -0,0 +1 @@
+Settings `--cores=0` will cause Dafny to use half of the available cores.

docs/dev/news/3311.feat

@@ -0,0 +1,2 @@
+- Havoc assignments now count as assignments for definite-assignment checks.
+- Unless `--enforce-determinism` is used, no errors are given for arrays that are allocated without being initialized.