Checking Weak Simulation for One-Counter Nets