Faster random generation of linear extensions

Faster random generation of linear extensions