Add more static assertions

[yasahi-hpc]

In this PR, I have added more static assertions for APIs.
It includes the consistency between execution space and Views, consistency between Input and Output View metadata. For example, a check for memory and exec space consistency is made by

static_assert(
  Kokkos::SpaceAccessibility<ExecSpace, MemorySpace>::accessible,
  "MemorySpace has to be accessible for ExecutionSpace."
);