If you need to do this in a database-independent way, I don't see any easier option than creating 10000 Users in your migration, and then doing "truncate table users" or just deleting users with id < 10000. This will probably take a little bit of time.
In postgres you can redefine starting number of the sequence responsible for generating these IDs. In MySQL you can do it also, but differently: "ALTER TABLE theTableInQuestion AUTO_INCREMENT=1234"
Of course you could add this functionality to ActiveRecord::Migration class, and provide implementation in DB-specific drivers.
All depends on how far you want to go with this :)