xingtian is a componentized library for the development and verification of reinforcement learning algorithms