[Fixes] KeyVector type requirements + compile time checks

[MichaelFabrizio]

• KeyVector type requirements are now static_assert checks, within the default constructor KeyVector().
• Removed these checks from Pool class (which shouldn't have been responsible for them anyway).