ecp_curves: Minor rework for p384

This patch adjusts formatting, documentation and testing.

Signed-off-by: Minos Galanakis <minos.galanakis@arm.com>
diff --git a/library/ecp_invasive.h b/library/ecp_invasive.h
index 501152c..d2ac20a 100644
--- a/library/ecp_invasive.h
+++ b/library/ecp_invasive.h
@@ -165,7 +165,7 @@
 /** Fast quasi-reduction modulo p384 (FIPS 186-3 D.2.4)
  *
  * \param[in,out]   X       The address of the MPI to be converted.
- *                          Must have exact limb size of `(766 / biL) + 1`.
+ *                          Must have exact limb size of `768 / biL`.
  *                          Upon return holds the reduced value which is
  *                          in range `0 <= X < 2 * N` (where N is the modulus).
  *                          The bitlength of the reduced value is the same as