SocketManager: make maximum number of timers configurable

Reviewer: @harshsin

1024 is too low for IVS given that we use several file descriptors per port.