TODO: take finalizer out of Socket again
Specs all pass, but garbage collection should be improved