Add static_assert or assert where applicable

[GiantCrocodile]

We should add static_assert (compile time errors) and assert (runtime errors) where applicable to prevent some bad use cases of functions. The asserts should throw useful error messages.