Were Hedge Funds Right About Piling Into Marinus Pharmaceuticals Inc (MRNS)?