Debugged sea models, wave spectra, and file reader for seaenv.in