Corrected final part of hyperelliptic curves
Added comment re alternative valentini madan proof
Added some more